Torroni, Paolo : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (128)
Les plus populaires
Liste
- Liste
- Tableau

Consumer protection requires artificial intelligence

Lippi, Marco, Contissa, Giuseppe, Lagioia, Francesca, Micklitz, Hans-Wolfgang, Pałka, Przemysław, Sartor, Giovanni, Torroni, Paolo

Journal:

Nature Machine Intelligence

Année:

2019

Langue:

english

Fichier:

PDF, 668 KB

english, 2019

Attention in Natural Language Processing

Galassi, Andrea, Lippi, Marco, Torroni, Paolo

Journal:

IEEE Transactions on Neural Networks and Learning Systems

Année:

2020

Fichier:

PDF, 2.67 MB

2020

Programming Agent Deliberation Using Procedural Reflection

Leask, Sam, Logan, Brian, Chen, Qingliang, Torroni, Paolo, Villata, Serena

Journal:

Fundamenta Informaticae

Année:

2018

Langue:

english

Fichier:

PDF, 304 KB

english, 2018

Claudette Meets GDPR: Automating the Evaluation of Privacy Policies Using Artificial Intelligence

Contissa, Giuseppe, Docter, Koen, Lagioia, Francesca, Lippi, Marco, Micklitz, Hans-W., Pałka, Przemysław, Sartor, Giovanni, Torroni, Paolo

Journal:

SSRN Electronic Journal

Année:

2018

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2018

CLAUDETTE: an automated detector of potentially unfair clauses in online terms of service

Lippi, Marco, Pałka, Przemysław, Contissa, Giuseppe, Lagioia, Francesca, Micklitz, Hans-Wolfgang, Sartor, Giovanni, Torroni, Paolo

Journal:

Artificial Intelligence and Law

Année:

2019

Langue:

english

Fichier:

PDF, 939 KB

english, 2019

Argumentation Reasoning via Circumscription with Pyglaf

Alviano, Mario, Maratea, Marco, Serina, Ivan, Torroni, Paolo

Journal:

Fundamenta Informaticae

Année:

2019

Langue:

english

Fichier:

PDF, 599 KB

english, 2019

Cooperation and Competition inALIAS: A Logic Framework for Agents that Negotiate

Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2003

Langue:

english

Fichier:

PDF, 229 KB

english, 2003

LAILA: a language for coordinating abductive reasoning among logic agents

Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni

Journal:

Computer Languages

Année:

2001

Langue:

english

Fichier:

PDF, 459 KB

english, 2001

[Lecture Notes in Computer Science] Computational Logic in Multi-Agent Systems Volume 3900 || BDI Agent Programming in AgentSpeak Using Jason

Toni, Francesca, Torroni, Paolo

Année:

2006

Langue:

english

Fichier:

PDF, 788 KB

english, 2006

Applications of logical approaches to argumentation

Leite, João, Cao Son, Tran, Torroni, Paolo, Woltran, Stefan

Journal:

Argument & Computation

Année:

2015

Langue:

english

Fichier:

PDF, 151 KB

english, 2015

[Lecture Notes in Computer Science] Computational Logic in Multi-Agent Systems Volume 3487 || Graded BDI Models for Agent Architectures

Leite, João, Torroni, Paolo

Année:

2005

Langue:

english

Fichier:

PDF, 335 KB

english, 2005

Verifiable agent interaction in abductive logic programming

Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Torroni, Paolo

Journal:

ACM Transactions on Computational Logic

Année:

2008

Langue:

english

Fichier:

PDF, 318 KB

english, 2008

[Lecture Notes in Computer Science] PRIMA 2015: Principles and Practice of Multi-Agent Systems Volume 9387 ||

Chen, Qingliang, Torroni, Paolo, Villata, Serena, Hsu, Jane, Omicini, Andrea

Année:

2015

Langue:

english

Fichier:

PDF, 25.04 MB

english, 2015

[Lecture Notes in Computer Science] PRIMA 2016: Princiles and Practice of Multi-Agent Systems Volume 9862 ||

Baldoni, Matteo, Chopra, Amit K., Son, Tran Cao, Hirayama, Katsutoshi, Torroni, Paolo

Année:

2016

Langue:

english

Fichier:

PDF, 34.68 MB

english, 2016

[Lecture Notes in Computer Science] Declarative Agent Languages and Technologies II Volume 3476 || Theories of Intentions in the Framework of Situation Calculus

Leite, João, Omicini, Andrea, Torroni, Paolo, Yolum, pInar

Année:

2005

Langue:

english

Fichier:

PDF, 203 KB

english, 2005

Multi-Party Persuasion: a Paraconsistent Approach

Dunin-Kęplicz, Barbara, Powała, Alina, Chen, Qingliang, Torroni, Paolo, Villata, Serena

Journal:

Fundamenta Informaticae

Année:

2018

Langue:

english

Fichier:

PDF, 587 KB

english, 2018

Strategy-proof Cake Cutting Mechanisms for All-or-nothing Utility

Ihara, Takamasa, Tsuruta, Shunsuke, Todo, Taiki, Sakurai, Yuko, Yokoo, Makoto, Chen, Qingliang, Torroni, Paolo, Villata, Serena

Journal:

Fundamenta Informaticae

Année:

2018

Langue:

english

Fichier:

PDF, 285 KB

english, 2018

The Long-Term Benefits of Following Fairness Norms under Dynamics of Learning and Evolution

Lorini, Emiliano, Mühlenbernd, Roland, Chen, Qingliang, Torroni, Paolo, Villata, Serena

Journal:

Fundamenta Informaticae

Année:

2018

Langue:

english

Fichier:

PDF, 501 KB

english, 2018

CLAUDETTE: an automated detector of potentially unfair clauses in online terms of service

Lippi, Marco, Pałka, Przemysław, Contissa, Giuseppe, Lagioia, Francesca, Micklitz, Hans-Wolfgang, Sartor, Giovanni, Torroni, Paolo

Journal:

Artificial Intelligence and Law

Année:

2019

Fichier:

PDF, 939 KB

2019

Monitoring norms: a multi-disciplinary perspective

Dastani, Mehdi, Torroni, Paolo, Yorke-Smith, Neil

Journal:

The Knowledge Engineering Review

Année:

2018

Fichier:

PDF, 1.02 MB

2018

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions

Chesani, Federico, Mello, Paola, Montali, Marco, Torroni, Paolo

Journal:

Intelligenza Artificiale

Année:

2011

Fichier:

PDF, 60 KB

2011

Specification and Verification of Agent Interaction using Social Integrity Constraints

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 223 KB

english, 2004

Engineering and verifying agent-oriented requirements augmented by business constraints with({mathcal{B}})-Tropos

Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl

Journal:

Autonomous Agents and Multi-Agent Systems

Année:

2011

Langue:

english

Fichier:

PDF, 1.38 MB

english, 2011

Mapping deontic operators to abductive expectations

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor

Journal:

Computational and Mathematical Organization Theory

Année:

2006

Langue:

english

Fichier:

PDF, 220 KB

english, 2006

Logics and Multi-agents: towards a new symbolic model of cognition

Paolo Torroni

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 82 KB

english, 2002

COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS

Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni

Journal:

Computational Intelligence

Année:

2007

Langue:

english

Fichier:

PDF, 572 KB

english, 2007

Exception diagnosis in multiagent contract executions

Özgür Kafalı, Paolo Torroni

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2012

Langue:

english

Fichier:

PDF, 932 KB

english, 2012

Catalytic properties of human Lys77-plasmin. A comparative steady-state and pre-steady-state study

Paolo Ascenzi, Antonio Torroni, Enea Menegatti, Mario Guarneri, Gino Amiconi

Journal:

Biochimica et Biophysica Acta (BBA) - Protein Structure and Molecular Enzymology

Année:

1985

Langue:

english

Fichier:

PDF, 352 KB

english, 1985

The pH dependence of pre-steady-state and steady-state kinetics for the papain-catalyzed hydrolysis of N-α-carbobenzoxyglycine p-nitrophenyl ester

Paolo Ascenzi, Patrizia Aducci, Antonio Torroni, Gino Amiconi, Alessandro Ballio, Enea Menegatti, Mario Guarneri

Journal:

Biochimica et Biophysica Acta (BBA) - Protein Structure and Molecular Enzymology

Année:

1987

Langue:

english

Fichier:

PDF, 618 KB

english, 1987

Sequence analysis of ADARB1 gene in patients with familial bipolar disorder

Mario Amore, Pierluigi Strippoli, Caterina Laterza, Pietro Tagariello, Lorenza Vitale, Raffaella Casadei, Flavia Frabetti, Silvia Canaider, Luca Lenzi, Pietro D'Addabbo, Paolo Carinci, Arianna Torroni

Journal:

Journal of Affective Disorders

Année:

2004

Langue:

english

Fichier:

PDF, 304 KB

english, 2004

[Lecture Notes in Computer Science] Languages, Methodologies and Development Tools for Multi-Agent Systems Volume 5118 || Enabling the Reuse of Platform-Dependent Agents in Heterogeneous Agent-Based Applications

Dastani, Mehdi, El Fallah Seghrouchni, Amal, Leite, João, Torroni, Paolo

Année:

2008

Langue:

english

Fichier:

PDF, 465 KB

english, 2008

[Lecture Notes in Computer Science] Declarative Agent Languages and Technologies III Volume 3904 ||

Baldoni, Matteo, Endriss, Ulle, Omicini, Andrea, Torroni, Paolo

Année:

2006

Langue:

english

Fichier:

PDF, 2.87 MB

english, 2006

[Lecture Notes in Computer Science] Declarative Agent Languages and Technologies II Volume 3476 ||

Leite, João, Omicini, Andrea, Torroni, Paolo, Yolum, pInar

Année:

2005

Langue:

english

Fichier:

PDF, 2.45 MB

english, 2005

[Lecture Notes in Computer Science] Declarative Agent Languages and Technologies Volume 2990 ||

Leite, João, Omicini, Andrea, Sterling, Leon, Torroni, Paolo

Année:

2004

Langue:

english

Fichier:

PDF, 2.27 MB

english, 2004

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - Specification and verification of agent interaction protocols in a logic-based system

Alberti, Marco, Daolio, Davide, Torroni, Paolo, Gavanelli, Marco, Lamma, Evelina, Mello, Paola

Année:

2004

Langue:

english

Fichier:

PDF, 213 KB

english, 2004

[Lecture Notes in Computer Science] Computational Logic in Multi-Agent Systems Volume 3487 || Verifying Protocol Conformance for Logic-Based Communicating Agents

Leite, João, Torroni, Paolo

Année:

2005

Langue:

english

Fichier:

PDF, 252 KB

english, 2005

[Lecture Notes in Computer Science] Declarative Agent Languages and Technologies II Volume 3476 || Model Checking Agent Dialogues

Leite, João, Omicini, Andrea, Torroni, Paolo, Yolum, pInar

Année:

2005

Langue:

english

Fichier:

PDF, 185 KB

english, 2005

The Mystery of Etruscan Origins: Novel Clues from Bos taurus Mitochondrial DNA

Marco Pellecchia, Riccardo Negrini, Licia Colli, Massimiliano Patrini, Elisabetta Milanesi, Alessandro Achilli, Giorgio Bertorelle, Luigi L. Cavalli-Sforza, Alberto Piazza, Antonio Torroni and Paolo A

Journal:

Proceedings Biological Sciences

Année:

2007

Langue:

english

Fichier:

PDF, 1.03 MB

english, 2007

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Chesani, Federico, Mello, Paola, Torroni, Paolo

Journal:

Applied Artificial Intelligence

Année:

2006

Langue:

english

Fichier:

PDF, 1.01 MB

english, 2006

Argumentation in the Semantic Web

Torroni, Paolo, Gavanelli, Marco, Chesani, Federico

Journal:

IEEE Intelligent Systems

Année:

2007

Langue:

english

Fichier:

PDF, 798 KB

english, 2007

[Lecture Notes in Computer Science] Computational Logic in Multi-Agent Systems Volume 3487 || Contextual Taxonomies

Leite, João, Torroni, Paolo

Année:

2005

Langue:

english

Fichier:

PDF, 198 KB

english, 2005

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

Alberti, Marco, Cattafi, Massimiliano, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Montali, Marco, Mello, Paola, Torroni, Paolo

Année:

2009

Langue:

english

Fichier:

PDF, 721 KB

english, 2009

[Lecture Notes in Computer Science] Computational Logic in Multi-Agent Systems Volume 8143 || Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System

Leite, João, Son, Tran Cao, Torroni, Paolo, van der Torre, Leon, Woltran, Stefan

Année:

2013

Langue:

english

Fichier:

PDF, 316 KB

english, 2013

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Microdebates App for Android: A Tool for Participating in Argumentative Online Debates Using a Handheld Device

Yaglikci, Nefise, Torroni, Paolo

Année:

2014

Langue:

english

Fichier:

PDF, 1.32 MB

english, 2014

MONITORING TIME-AWARE COMMITMENTS WITHIN AGENT-BASED SIMULATION ENVIRONMENTS

Chesani, Federico, Mello, Paola, Montali, Marco, Torroni, Paolo

Journal:

Cybernetics & Systems

Année:

2011

Langue:

english

Fichier:

PDF, 653 KB

english, 2011

Clinical management of post-pyloric enteral feeding in children

Capriati, Teresa, Cardile, Sabrina, Chiusolo, Fabrizio, Torroni, Filippo, Schingo, Paolo, Elia, Domenica, Diamanti, Antonella

Journal:

Expert Review of Gastroenterology and Hepatology

Année:

2015

Langue:

english

Fichier:

PDF, 488 KB

english, 2015

[Lecture Notes in Computer Science] Computational Logic in Multi-Agent Systems Volume 3900 ||

Toni, Francesca, Torroni, Paolo

Année:

2006

Langue:

english

Fichier:

PDF, 5.76 MB

english, 2006

[Lecture Notes in Computer Science] PRIMA 2015: Principles and Practice of Multi-Agent Systems Volume 9387 || Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking

Chen, Qingliang, Torroni, Paolo, Villata, Serena, Hsu, Jane, Omicini, Andrea

Année:

2015

Langue:

english

Fichier:

PDF, 562 KB

english, 2015

[Lecture Notes in Computer Science] PRIMA 2015: Principles and Practice of Multi-Agent Systems Volume 9387 || Mechanism Design for Argumentation-Based Information-Seeking and Inquiry

Chen, Qingliang, Torroni, Paolo, Villata, Serena, Hsu, Jane, Omicini, Andrea

Année:

2015

Langue:

english

Fichier:

PDF, 191 KB

english, 2015

[Lecture Notes in Computer Science] PRIMA 2015: Principles and Practice of Multi-Agent Systems Volume 9387 || Probabilistic Perception Revision in AgentSpeak(L)

Chen, Qingliang, Torroni, Paolo, Villata, Serena, Hsu, Jane, Omicini, Andrea

Année:

2015

Langue:

english

Fichier:

PDF, 196 KB

english, 2015